// Counter Smart Contract Bytecode:
// 0.8.18+commit.87f61d96
// with optimisation enabled (depth 200) (remix.ethereum.org)
// SPDX-License-Identifier: MIT
// pragma solidity >=0.7.0 <0.9.0;

// contract Counter {
//     uint public count;

//     // Function to get the current count
//     function get() public view returns (uint) {
//         return count;
//     }

//     // Function to increment count by 1
//     function inc() public {
//         count += 1;
//     }

//     // Function to decrement count by 1
//     function dec() public {
//         // This function will fail if count = 0
//         count -= 1;
//     }
// }

pub fn deploy_counter_calldata() -> Span<u8> {
    [
        0x60,
        0x80,
        0x60,
        0x40,
        0x52,
        0x34,
        0x80,
        0x15,
        0x61,
        0x00,
        0x0f,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x61,
        0x01,
        0xd9,
        0x80,
        0x61,
        0x00,
        0x1d,
        0x5f,
        0x39,
        0x5f,
        0xf3,
        0xfe,
        0x60,
        0x80,
        0x60,
        0x40,
        0x52,
        0x34,
        0x80,
        0x15,
        0x61,
        0x00,
        0x0f,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x60,
        0x04,
        0x36,
        0x10,
        0x61,
        0x00,
        0x4a,
        0x57,
        0x5f,
        0x35,
        0x60,
        0xe0,
        0x1c,
        0x80,
        0x63,
        0x06,
        0x66,
        0x1a,
        0xbd,
        0x14,
        0x61,
        0x00,
        0x4e,
        0x57,
        0x80,
        0x63,
        0x37,
        0x13,
        0x03,
        0xc0,
        0x14,
        0x61,
        0x00,
        0x6c,
        0x57,
        0x80,
        0x63,
        0x6d,
        0x4c,
        0xe6,
        0x3c,
        0x14,
        0x61,
        0x00,
        0x76,
        0x57,
        0x80,
        0x63,
        0xb3,
        0xbc,
        0xfa,
        0x82,
        0x14,
        0x61,
        0x00,
        0x94,
        0x57,
        0x5b,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x61,
        0x00,
        0x56,
        0x61,
        0x00,
        0x9e,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x61,
        0x00,
        0x63,
        0x91,
        0x90,
        0x61,
        0x00,
        0xf7,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x80,
        0x91,
        0x03,
        0x90,
        0xf3,
        0x5b,
        0x61,
        0x00,
        0x74,
        0x61,
        0x00,
        0xa3,
        0x56,
        0x5b,
        0x00,
        0x5b,
        0x61,
        0x00,
        0x7e,
        0x61,
        0x00,
        0xbd,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x61,
        0x00,
        0x8b,
        0x91,
        0x90,
        0x61,
        0x00,
        0xf7,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x80,
        0x91,
        0x03,
        0x90,
        0xf3,
        0x5b,
        0x61,
        0x00,
        0x9c,
        0x61,
        0x00,
        0xc5,
        0x56,
        0x5b,
        0x00,
        0x5b,
        0x5f,
        0x54,
        0x81,
        0x56,
        0x5b,
        0x60,
        0x01,
        0x5f,
        0x80,
        0x82,
        0x82,
        0x54,
        0x61,
        0x00,
        0xb4,
        0x91,
        0x90,
        0x61,
        0x01,
        0x3d,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x50,
        0x81,
        0x90,
        0x55,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x80,
        0x54,
        0x90,
        0x50,
        0x90,
        0x56,
        0x5b,
        0x60,
        0x01,
        0x5f,
        0x80,
        0x82,
        0x82,
        0x54,
        0x61,
        0x00,
        0xd6,
        0x91,
        0x90,
        0x61,
        0x01,
        0x70,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x50,
        0x81,
        0x90,
        0x55,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x81,
        0x90,
        0x50,
        0x91,
        0x90,
        0x50,
        0x56,
        0x5b,
        0x61,
        0x00,
        0xf1,
        0x81,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x82,
        0x52,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x60,
        0x20,
        0x82,
        0x01,
        0x90,
        0x50,
        0x61,
        0x01,
        0x0a,
        0x5f,
        0x83,
        0x01,
        0x84,
        0x61,
        0x00,
        0xe8,
        0x56,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x7f,
        0x4e,
        0x48,
        0x7b,
        0x71,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x5f,
        0x52,
        0x60,
        0x11,
        0x60,
        0x04,
        0x52,
        0x60,
        0x24,
        0x5f,
        0xfd,
        0x5b,
        0x5f,
        0x61,
        0x01,
        0x47,
        0x82,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x91,
        0x50,
        0x61,
        0x01,
        0x52,
        0x83,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x82,
        0x82,
        0x01,
        0x90,
        0x50,
        0x80,
        0x82,
        0x11,
        0x15,
        0x61,
        0x01,
        0x6a,
        0x57,
        0x61,
        0x01,
        0x69,
        0x61,
        0x01,
        0x10,
        0x56,
        0x5b,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x61,
        0x01,
        0x7a,
        0x82,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x91,
        0x50,
        0x61,
        0x01,
        0x85,
        0x83,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x82,
        0x82,
        0x03,
        0x90,
        0x50,
        0x81,
        0x81,
        0x11,
        0x15,
        0x61,
        0x01,
        0x9d,
        0x57,
        0x61,
        0x01,
        0x9c,
        0x61,
        0x01,
        0x10,
        0x56,
        0x5b,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0xfe,
        0xa2,
        0x64,
        0x69,
        0x70,
        0x66,
        0x73,
        0x58,
        0x22,
        0x12,
        0x20,
        0x7e,
        0x79,
        0x2f,
        0xcf,
        0xf2,
        0x8a,
        0x4b,
        0xf0,
        0xba,
        0xd8,
        0x67,
        0x5c,
        0x5b,
        0xc2,
        0x28,
        0x8b,
        0x07,
        0x83,
        0x5a,
        0xeb,
        0xaa,
        0x90,
        0xb8,
        0xdc,
        0x5e,
        0x0d,
        0xf1,
        0x91,
        0x83,
        0xfb,
        0x72,
        0xcf,
        0x64,
        0x73,
        0x6f,
        0x6c,
        0x63,
        0x43,
        0x00,
        0x08,
        0x16,
        0x00,
        0x33
    ].span()
}

pub fn counter_evm_bytecode() -> Span<u8> {
    [
        0x60,
        0x80,
        0x60,
        0x40,
        0x52,
        0x34,
        0x80,
        0x15,
        0x61,
        0x00,
        0x0f,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x60,
        0x04,
        0x36,
        0x10,
        0x61,
        0x00,
        0x4a,
        0x57,
        0x5f,
        0x35,
        0x60,
        0xe0,
        0x1c,
        0x80,
        0x63,
        0x06,
        0x66,
        0x1a,
        0xbd,
        0x14,
        0x61,
        0x00,
        0x4e,
        0x57,
        0x80,
        0x63,
        0x37,
        0x13,
        0x03,
        0xc0,
        0x14,
        0x61,
        0x00,
        0x6c,
        0x57,
        0x80,
        0x63,
        0x6d,
        0x4c,
        0xe6,
        0x3c,
        0x14,
        0x61,
        0x00,
        0x76,
        0x57,
        0x80,
        0x63,
        0xb3,
        0xbc,
        0xfa,
        0x82,
        0x14,
        0x61,
        0x00,
        0x94,
        0x57,
        0x5b,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x61,
        0x00,
        0x56,
        0x61,
        0x00,
        0x9e,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x61,
        0x00,
        0x63,
        0x91,
        0x90,
        0x61,
        0x00,
        0xf7,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x80,
        0x91,
        0x03,
        0x90,
        0xf3,
        0x5b,
        0x61,
        0x00,
        0x74,
        0x61,
        0x00,
        0xa3,
        0x56,
        0x5b,
        0x00,
        0x5b,
        0x61,
        0x00,
        0x7e,
        0x61,
        0x00,
        0xbd,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x61,
        0x00,
        0x8b,
        0x91,
        0x90,
        0x61,
        0x00,
        0xf7,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x80,
        0x91,
        0x03,
        0x90,
        0xf3,
        0x5b,
        0x61,
        0x00,
        0x9c,
        0x61,
        0x00,
        0xc5,
        0x56,
        0x5b,
        0x00,
        0x5b,
        0x5f,
        0x54,
        0x81,
        0x56,
        0x5b,
        0x60,
        0x01,
        0x5f,
        0x80,
        0x82,
        0x82,
        0x54,
        0x61,
        0x00,
        0xb4,
        0x91,
        0x90,
        0x61,
        0x01,
        0x3d,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x50,
        0x81,
        0x90,
        0x55,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x80,
        0x54,
        0x90,
        0x50,
        0x90,
        0x56,
        0x5b,
        0x60,
        0x01,
        0x5f,
        0x80,
        0x82,
        0x82,
        0x54,
        0x61,
        0x00,
        0xd6,
        0x91,
        0x90,
        0x61,
        0x01,
        0x70,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x50,
        0x81,
        0x90,
        0x55,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x81,
        0x90,
        0x50,
        0x91,
        0x90,
        0x50,
        0x56,
        0x5b,
        0x61,
        0x00,
        0xf1,
        0x81,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x82,
        0x52,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x60,
        0x20,
        0x82,
        0x01,
        0x90,
        0x50,
        0x61,
        0x01,
        0x0a,
        0x5f,
        0x83,
        0x01,
        0x84,
        0x61,
        0x00,
        0xe8,
        0x56,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x7f,
        0x4e,
        0x48,
        0x7b,
        0x71,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x00,
        0x5f,
        0x52,
        0x60,
        0x11,
        0x60,
        0x04,
        0x52,
        0x60,
        0x24,
        0x5f,
        0xfd,
        0x5b,
        0x5f,
        0x61,
        0x01,
        0x47,
        0x82,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x91,
        0x50,
        0x61,
        0x01,
        0x52,
        0x83,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x82,
        0x82,
        0x01,
        0x90,
        0x50,
        0x80,
        0x82,
        0x11,
        0x15,
        0x61,
        0x01,
        0x6a,
        0x57,
        0x61,
        0x01,
        0x69,
        0x61,
        0x01,
        0x10,
        0x56,
        0x5b,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x61,
        0x01,
        0x7a,
        0x82,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x91,
        0x50,
        0x61,
        0x01,
        0x85,
        0x83,
        0x61,
        0x00,
        0xdf,
        0x56,
        0x5b,
        0x92,
        0x50,
        0x82,
        0x82,
        0x03,
        0x90,
        0x50,
        0x81,
        0x81,
        0x11,
        0x15,
        0x61,
        0x01,
        0x9d,
        0x57,
        0x61,
        0x01,
        0x9c,
        0x61,
        0x01,
        0x10,
        0x56,
        0x5b,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0xfe,
        0xa2,
        0x64,
        0x69,
        0x70,
        0x66,
        0x73,
        0x58,
        0x22,
        0x12,
        0x20,
        0x7e,
        0x79,
        0x2f,
        0xcf,
        0xf2,
        0x8a,
        0x4b,
        0xf0,
        0xba,
        0xd8,
        0x67,
        0x5c,
        0x5b,
        0xc2,
        0x28,
        0x8b,
        0x07,
        0x83,
        0x5a,
        0xeb,
        0xaa,
        0x90,
        0xb8,
        0xdc,
        0x5e,
        0x0d,
        0xf1,
        0x91,
        0x83,
        0xfb,
        0x72,
        0xcf,
        0x64,
        0x73,
        0x6f,
        0x6c,
        0x63,
        0x43,
        0x00,
        0x08,
        0x16,
        0x00,
        0x33
    ].span()
}


// // SPDX-License-Identifier: GPL-3.0

// pragma solidity >=0.8.2 <0.9.0;

// /**
//  * @title Storage
//  * @dev Store & retrieve value in a variable
//  * @custom:dev-run-script ./scripts/deploy_with_ethers.ts
//  */
// contract Storage {

//     uint256 number;

//     /**
//      * @dev Store value in variable
//      * @param num value to store
//      */
//     function store(uint256 num) public {
//         number = num;
//     }

//     /**
//      * @dev Return value
//      * @return value of 'number'
//      */
//     function retrieve() public view returns (uint256){
//         return number;
//     }
// }
// Remix compiler: 0.8.20+commit.a1b79de6
pub fn storage_evm_initcode() -> Span<u8> {
    [
        0x60,
        0x80,
        0x60,
        0x40,
        0x52,
        0x34,
        0x80,
        0x15,
        0x61,
        0x00,
        0x0f,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x61,
        0x01,
        0x43,
        0x80,
        0x61,
        0x00,
        0x1d,
        0x5f,
        0x39,
        0x5f,
        0xf3,
        0xfe,
        0x60,
        0x80,
        0x60,
        0x40,
        0x52,
        0x34,
        0x80,
        0x15,
        0x61,
        0x00,
        0x0f,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x60,
        0x04,
        0x36,
        0x10,
        0x61,
        0x00,
        0x34,
        0x57,
        0x5f,
        0x35,
        0x60,
        0xe0,
        0x1c,
        0x80,
        0x63,
        0x2e,
        0x64,
        0xce,
        0xc1,
        0x14,
        0x61,
        0x00,
        0x38,
        0x57,
        0x80,
        0x63,
        0x60,
        0x57,
        0x36,
        0x1d,
        0x14,
        0x61,
        0x00,
        0x56,
        0x57,
        0x5b,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x61,
        0x00,
        0x40,
        0x61,
        0x00,
        0x72,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x61,
        0x00,
        0x4d,
        0x91,
        0x90,
        0x61,
        0x00,
        0x9b,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x80,
        0x91,
        0x03,
        0x90,
        0xf3,
        0x5b,
        0x61,
        0x00,
        0x70,
        0x60,
        0x04,
        0x80,
        0x36,
        0x03,
        0x81,
        0x01,
        0x90,
        0x61,
        0x00,
        0x6b,
        0x91,
        0x90,
        0x61,
        0x00,
        0xe2,
        0x56,
        0x5b,
        0x61,
        0x00,
        0x7a,
        0x56,
        0x5b,
        0x00,
        0x5b,
        0x5f,
        0x80,
        0x54,
        0x90,
        0x50,
        0x90,
        0x56,
        0x5b,
        0x80,
        0x5f,
        0x81,
        0x90,
        0x55,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x81,
        0x90,
        0x50,
        0x91,
        0x90,
        0x50,
        0x56,
        0x5b,
        0x61,
        0x00,
        0x95,
        0x81,
        0x61,
        0x00,
        0x83,
        0x56,
        0x5b,
        0x82,
        0x52,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x60,
        0x20,
        0x82,
        0x01,
        0x90,
        0x50,
        0x61,
        0x00,
        0xae,
        0x5f,
        0x83,
        0x01,
        0x84,
        0x61,
        0x00,
        0x8c,
        0x56,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x61,
        0x00,
        0xc1,
        0x81,
        0x61,
        0x00,
        0x83,
        0x56,
        0x5b,
        0x81,
        0x14,
        0x61,
        0x00,
        0xcb,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x81,
        0x35,
        0x90,
        0x50,
        0x61,
        0x00,
        0xdc,
        0x81,
        0x61,
        0x00,
        0xb8,
        0x56,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x60,
        0x20,
        0x82,
        0x84,
        0x03,
        0x12,
        0x15,
        0x61,
        0x00,
        0xf7,
        0x57,
        0x61,
        0x00,
        0xf6,
        0x61,
        0x00,
        0xb4,
        0x56,
        0x5b,
        0x5b,
        0x5f,
        0x61,
        0x01,
        0x04,
        0x84,
        0x82,
        0x85,
        0x01,
        0x61,
        0x00,
        0xce,
        0x56,
        0x5b,
        0x91,
        0x50,
        0x50,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0xfe,
        0xa2,
        0x64,
        0x69,
        0x70,
        0x66,
        0x73,
        0x58,
        0x22,
        0x12,
        0x20,
        0xb5,
        0xc3,
        0x07,
        0x5f,
        0x2f,
        0x20,
        0x34,
        0xd0,
        0x39,
        0xa2,
        0x27,
        0xfa,
        0xc6,
        0xdd,
        0x31,
        0x4b,
        0x05,
        0x2f,
        0xfb,
        0x2b,
        0x3d,
        0xa5,
        0x2c,
        0x7b,
        0x6f,
        0x5b,
        0xc3,
        0x74,
        0xd5,
        0x28,
        0xed,
        0x36,
        0x64,
        0x73,
        0x6f,
        0x6c,
        0x63,
        0x43,
        0x00,
        0x08,
        0x14,
        0x00,
        0x33
    ].span()
}

pub fn storage_evm_bytecode() -> Span<u8> {
    [
        0x60,
        0x80,
        0x60,
        0x40,
        0x52,
        0x34,
        0x80,
        0x15,
        0x61,
        0x00,
        0x0f,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x60,
        0x04,
        0x36,
        0x10,
        0x61,
        0x00,
        0x34,
        0x57,
        0x5f,
        0x35,
        0x60,
        0xe0,
        0x1c,
        0x80,
        0x63,
        0x2e,
        0x64,
        0xce,
        0xc1,
        0x14,
        0x61,
        0x00,
        0x38,
        0x57,
        0x80,
        0x63,
        0x60,
        0x57,
        0x36,
        0x1d,
        0x14,
        0x61,
        0x00,
        0x56,
        0x57,
        0x5b,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x61,
        0x00,
        0x40,
        0x61,
        0x00,
        0x72,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x61,
        0x00,
        0x4d,
        0x91,
        0x90,
        0x61,
        0x00,
        0x9b,
        0x56,
        0x5b,
        0x60,
        0x40,
        0x51,
        0x80,
        0x91,
        0x03,
        0x90,
        0xf3,
        0x5b,
        0x61,
        0x00,
        0x70,
        0x60,
        0x04,
        0x80,
        0x36,
        0x03,
        0x81,
        0x01,
        0x90,
        0x61,
        0x00,
        0x6b,
        0x91,
        0x90,
        0x61,
        0x00,
        0xe2,
        0x56,
        0x5b,
        0x61,
        0x00,
        0x7a,
        0x56,
        0x5b,
        0x00,
        0x5b,
        0x5f,
        0x80,
        0x54,
        0x90,
        0x50,
        0x90,
        0x56,
        0x5b,
        0x80,
        0x5f,
        0x81,
        0x90,
        0x55,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x81,
        0x90,
        0x50,
        0x91,
        0x90,
        0x50,
        0x56,
        0x5b,
        0x61,
        0x00,
        0x95,
        0x81,
        0x61,
        0x00,
        0x83,
        0x56,
        0x5b,
        0x82,
        0x52,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x60,
        0x20,
        0x82,
        0x01,
        0x90,
        0x50,
        0x61,
        0x00,
        0xae,
        0x5f,
        0x83,
        0x01,
        0x84,
        0x61,
        0x00,
        0x8c,
        0x56,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x61,
        0x00,
        0xc1,
        0x81,
        0x61,
        0x00,
        0x83,
        0x56,
        0x5b,
        0x81,
        0x14,
        0x61,
        0x00,
        0xcb,
        0x57,
        0x5f,
        0x80,
        0xfd,
        0x5b,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x81,
        0x35,
        0x90,
        0x50,
        0x61,
        0x00,
        0xdc,
        0x81,
        0x61,
        0x00,
        0xb8,
        0x56,
        0x5b,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0x5b,
        0x5f,
        0x60,
        0x20,
        0x82,
        0x84,
        0x03,
        0x12,
        0x15,
        0x61,
        0x00,
        0xf7,
        0x57,
        0x61,
        0x00,
        0xf6,
        0x61,
        0x00,
        0xb4,
        0x56,
        0x5b,
        0x5b,
        0x5f,
        0x61,
        0x01,
        0x04,
        0x84,
        0x82,
        0x85,
        0x01,
        0x61,
        0x00,
        0xce,
        0x56,
        0x5b,
        0x91,
        0x50,
        0x50,
        0x92,
        0x91,
        0x50,
        0x50,
        0x56,
        0xfe,
        0xa2,
        0x64,
        0x69,
        0x70,
        0x66,
        0x73,
        0x58,
        0x22,
        0x12,
        0x20,
        0xb5,
        0xc3,
        0x07,
        0x5f,
        0x2f,
        0x20,
        0x34,
        0xd0,
        0x39,
        0xa2,
        0x27,
        0xfa,
        0xc6,
        0xdd,
        0x31,
        0x4b,
        0x05,
        0x2f,
        0xfb,
        0x2b,
        0x3d,
        0xa5,
        0x2c,
        0x7b,
        0x6f,
        0x5b,
        0xc3,
        0x74,
        0xd5,
        0x28,
        0xed,
        0x36,
        0x64,
        0x73,
        0x6f,
        0x6c,
        0x63,
        0x43,
        0x00,
        0x08,
        0x14,
        0x00,
        0x33
    ].span()
}


// eip-2930 RLP encoded tx { unsigned }, calls the `inc` function of counter bytecode
// format: 0x01 || rlp([chainId, nonce, gasPrice, gasLimit, to, value, data, accessList])
// rlp decoding:  [ '0x01', '0x', '0x3b9aca00', '0x1e8480',
// '0x0000006f746865725f65766d5f61646472657373', '0x', '0x371303c0', [] ]
pub fn eip_2930_rlp_encoded_counter_inc_tx() -> Span<u8> {
    [
        1,
        235,
        132,
        75,
        75,
        82,
        84,
        128,
        132,
        59,
        154,
        202,
        0,
        131,
        30,
        132,
        128,
        148,
        0,
        0,
        0,
        111,
        116,
        104,
        101,
        114,
        95,
        101,
        118,
        109,
        95,
        97,
        100,
        100,
        114,
        101,
        115,
        115,
        128,
        132,
        55,
        19,
        3,
        192,
        192,
    ].span()
}
